Repository and meta-data design for efficient component consistency verification
نویسندگان
چکیده
منابع مشابه
Mixture Component Clustering for Efficient Speaker Verification
In speaker verification (SV) systems based on a support vector machine (SVM) using Gaussian mixture model (GMM) supervectors, a large portion of the test-stage computational load is the calculation of the a posteriori probabilities of the feature vectors for the given universal background model (UBM). Furthermore, the calculation of the sufficient statistics for the mean also contributes substa...
متن کاملA Dynamic File Replication and Consistency Mechanism for Efficient Data Center Operation and its Formal Verification
Data centers are built to provide a highly available and scalable infrastructure on which the applications run. As enterprises grow, so do their application need, along with resources required for additional application-specific services. This increase in bottom line expense heightens the overall resource requirement. This paper provides solution to mitigate the impact of these expenses by prop...
متن کاملStreaming memory consistency for efficient MPSoC design
Multiprocessor systems-on-chip (MPSoC) with distributed shared memory and caches are flexible when it comes to inter-processor communication but require an efficient memory consistency and cache coherency solution. In this paper we present a novel consistency model, streaming consistency, for the streaming domain in which tasks communicate through circular buffers. The model allows more reorder...
متن کاملMeta-Data Support for Data Transformations Using Microsoft Repository
Data warehousing requires facilities for moving and transforming data and meta-data. This paper describes such facilities that are integrated with Microsoft SQL Server 7.0, particularly as they relate to meta-data and information models in its shared repository. It also discusses the use of XML to move meta-data between tools.
متن کاملSet Interfaces for Generalized Typestate and Data Structure Consistency Verification
Typestate systems allow the type of an object to change during its lifetime in the computation. Unlike standard type systems, they can enforce safety properties that depend on changing object states. We present a new, generalized formulation of typestate that models the typestate of an object through membership in abstract sets. This abstract set formulation enables developers to reason about c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.06.013